1001.  Maxwell J. and Kaplan R. (1993) The interface between phrasal and functional constraints.Computational Linguistics, 19(4), p. 571-590.

1002.  Maxwell J. and Kaplan R. (1995) A method for disjunctive constraint satisfaction. In Dalrymple M.,Kaplan R., Maxwell J., and Zaenen A. (Eds.) Formal Issues in Lexical-Functional Grammar, No. 47 in CSLI Lecture Note Series, chap. 14, p. 381-481. CSLI Publications.

1003. McAllester D. A. (1980) An outlook on truth maintenance. Ai memo 551, MIT AI Laboratory,Cambridge, Massachusetts.

1004.  McAllester D. A. (1988) Conspiracy numbers for min-max search. Artificial Intelligence, 35(3),p. 287-310.

1005.  McAllester D. A. (1989) Ontic: A Knowledge Representation System for Mathematics. MIT Press,Cambridge, Massachusetts.

1006. McAllester D. A. (1998) What is the most pressing issue facing ai and the aaai today? Candidatestatement, election for Councilor of the American Association for Artificial Intelligence.

1007. McAllester D. A. and Givan R. (1992) Natural language syntax and first-order inference. ArtificialIntelligence, 56(1), p. 1-20.

1008. McAllester D. A. and Rosenblitt D. (1991) Systematic nonlinear planning. In Proceedings of the NinthNational Conference on Artificial Intelligence (AAAI-91), Vol. 2, p. 634—639, Anaheim, California. AAAI Press.

1009. McCarthy J. (1958) Programs with common sense. In Proceedings of the Symposium on Mechanisationof Thought Processes, Vol. 1, p. 77-84, London. Her Majesty's Stationery Office.

1010.  McCarthy J. (1963) Situations, actions, and causal laws. Memo 2, Stanford University ArtificialIntelligence Project, Stanford, California.

1011.  McCarthy J. (1968) Programs with common sense. In Minsky M. L. (Ed.) Semantic InformationProcessing, p. 403-418. MIT Press, Cambridge, Massachusetts.

1012. McCarthy J. (1980) Circumscription: A form of non-monotonic reasoning. Artificial Intelligence,13(1-2), p. 27-39.

1013. McCarthy J. and Hayes P. J. (1969) Some philosophical problems from the standpoint of artificialintelligence. In Meltzer В., Michie D., and Swann M. (Eds.) Machine Intelligence 4, p. 463-502. Edinburgh University Press, Edinburgh, Scotland.

1014. McCarthy J., Minsky M. L., Rochester N., and Shannon С. Е. (1955) Proposal for the Dartmouthsummer research project on artificial intelligence. Tech. rep., Dartmouth College.

1015. McCawley J. D. (1988) The Syntactic Phenomena of English, Vol. 2 volumes. University of Chicago Press.

1016. McCawley J. D. (1993) Everything That Linguists Have Always Wanted to Know about Logic but WereAshamed to Ask (Second edition). University of Chicago Press, Chicago.

1017. McCulloch W. S. and Pitts W. (1943) A logical calculus of the ideas immanent in nervous activity.Bulletin of Mathematical Biophysics, 5, p. 115-137.

1018.  McCune W. (1992) Automated discovery of new axiomatizations of the left group and right groupcalculi. Journal of Automated Reasoning, 9(1), p. 1-24.

1019. McCune W. (1997) Solution of the robbins problem. Journal of Automated Reasoning, 19(3), р. 263-276.

1020. McDermott D. (1976) Artificial intelligence meets natural stupidity. SIGARTNewsletter, 57, p. 4-9.